Design Approach for Real-Time Reactive Systems

We propose a design approach for real-time reactive systems. The core of the approach is to use abstract real-time requirements or constraints arising from different views of a system. These requirements are specified separately in the early phases of the development. When conjoining such views, it is a design decision to partition realtime requirements given in the views into those needed for lower-level concepts. An explicit introduction of real-time requirements in a high-level specification, and their verifiable partitioning into implementable operations then provides justification for the final design. The approach is demonstrated with an example, where requirements related to telecommanding of a simple device are first formalized in an abstract fashion, and then partitioned into implementation-level operations.